Definition 5.1.3

A pair is called an ordered abelian group if is an abelian Group, is a subset of and Define a relation on by if .